Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
51	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Source URL: leanprover.github.io Language: English - Date: 2015-06-08 12:08:26 Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic Mathematics Mathematical logic
52	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
53	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
54	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
55	This is a revised and extended version for journal publication of a paper in Proceedings, International Symposium on Multimedia Software Engineering, ed. Jeffrey Tsai and Po-Jen Chuang, IEEE Press, pages 25–32, 2000; t Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2002-05-15 22:05:35 Automated theorem proving Mathematical logic Formal methods Logical truth Mathematical proof Proof assistant Formal proof Proof Theorem Logic Mathematics Proof theory
56	Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2 Add to Reading List Source URL: proteancode.com Language: English - Date: 2014-10-28 11:02:53 Formal methods Logic in computer science Ada programming language Automated theorem proving SPARK Formal verification Isabelle Proof assistant Static program analysis Theoretical computer science Computing Applied mathematics
57	DRA FRONT END FILTER PROJECT Proposal for Phase 2 Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:49 ALGOL 68 Transact-SQL Proof assistant KeY Logic Database Data management Computing Programming language theory
58	Introduction Combining Theories Packaging Theories Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 06:12:40 Automated theorem proving Philosophy of science Scientific method Concepts Logic in computer science Proof assistant Isabelle HOL Theory Science Logic Mathematics
59	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2003-07-07 13:20:50 Lisp programming language Functional languages Automated theorem proving ACL2 XML Literate programming DocBook Nqthm Proof assistant Computing Markup languages Technical communication
60	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic